'''
该示例用sympy库求解微分方程，获得带有初始条件的微分方程的符号解
   y'' - 5y' + 6y = x * e^(2x)       y(0) = 1, y(2) = 0
'''
from sympy import *
#需要将微分方程中的变量声明为函数
x = symbols('x')
y= Function('y')
eq = Eq(y(x).diff(x, 2) - 5*y(x).diff(x) + 6*y(x) , x * exp(2*x)) #将等式转化为齐次的用于求解
solution = dsolve(eq, y(x), ics={y(0):1, y(2):0})  # 求解微分方程,ics初写初始条件
print(f"微分方程的解为: {solution}")#微分方程的解y是函数的形式